1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2002
2. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
Author: sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
Classification :
QA
76
.
6
.
P45
2002
3. Erlang '10 :
Author: [Scott Lystig Fritchie, general chair ; Konstantinos Sagonas, program chair] ; sponsored by, ACM SIGPLAN ; co-located with, ICFP'10.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,ERLANG (Computer program language), Congresses.,Computer programming.,Computer Science.,Engineering & Applied Sciences.,ERLANG (Computer program language)
Classification :
QA76
.
73
.
E75
A36
2010eb
4. Erlang'04 : proceedings of the ACM SIGPLAN 2004 Erlang Workshop, September 22, 2004, Snowbird, Utah, USA
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2004
5. Erlang'05 : proceedings of the ACM SIGPLAN 2005 Erlang Workshop, September 25, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
Classification :
QA
76
.
73
.
E75A26
2005
6. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
Author: sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
Classification :
QA
76
.
9
.
D5
I545
1994
7. Haskell '05
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Haskell (Computer program language), Congresses.
8. Haskell '13
Author: sponsored by ACM SIGPLAN.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Haskell (Computer program language), Congresses.
9. Haskell '14 :
Author: sponsored by ACM SIGPLAN.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering & Applied Sciences.,Haskell (Computer program language),Haskell (Computer program language) -- Congresses.
Classification :
QA76
.
73
.
H37
S666
2014
10. Haskell '04
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming, Congresses.,Haskell (Computer program language), Congresses.
11. Haskell'11
Author: general chair, Koen Claessen ; sponsored by ACM SIGPLAN.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Haskell (Computer program language), Congresses.
12. Haskell '04 : proceedings of the ACM SIGPLAN 2004 Haskell Workshop : September 22-22, 2004, Snowbird, Utah, USA
Author: ]program chair:[ Henrik Nilsson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Haskell )Computer program language(,Congresses ، Computer programming
Classification :
QA
76
.
73
.
H37A25
2004
13. Haskell'05 : proceedings of the ACM SIGPLAN 2005 Haskell Workshop, September 30, 2005, Tallinn, Estonia
Author: sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Haskell )Computer program language(,Congresses ، Computer programming
Classification :
QA
76
.
73
.
H37A25
2005
14. ICS'05 : proceedings of the 19th ACM International Conference on Supercomputing, June 20-22, 2005 )workshop tutorials - June 19th(, the Cambridge Marriot )Kendall Square( and the Stata Center )MIT(, Cambridge, Massachusetts, 02139, USA
Author: sponsored by ACM SIGARCH; supported by the Association for Computing Machinery/ Special Interest Group on Programming Languages...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Supercomputers
Classification :
QA
76
.
5
.
I528
2005
15. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
Author: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
Classification :
QA
76
.
7
.
A285
2005
16. PLAS 2006 : proceedings of the 2006 Programming Languages and Analysis for Security Workshop : June 10, 2006, Ottawa, Ontario, Canada
Author: sponsored by ACM SIGPLAN
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer security,Congresses ، Computer networks -- Security measures
Classification :
QA
76
.
9
.
A25P76
2006
17. PPDP 2006 : proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
615
.
P6
2006
18. PPDP'05 : proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 11-13, 2005, Lisbon, Portugal
Author: sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
615
.
P6
2005
19. PPDP'03 : proceedings of the fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, August 27-29, 2003, Uppsala, Sweden
Author: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
615
.
P6
2003
20. PPDP'04 : proceedings of the sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy
Author: Sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Declarative programming
Classification :
QA
76
.
615
.
P6
2004
